DEVIATEUR définition

DEVIATEUR

[B.A.P.] Dans un ouvrage en béton avec précontrainte extérieure, élément rigide et solidaire de la structure, permettant un changement de direction des câbles. V. ill. Déviateur.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=3301

---